Nuprl Definition : es-locl
0,22
postcript
pdf
(
e
<loc
e'
) == loc(
e
) = loc(
e'
) & (
e
<
e'
)
latex
clarification:
es-locl(
es
;
e
;
e'
) == es-loc(
es
;
e
) = es-loc(
es
;
e'
)
Id & es-causl(
es
;
e
;
e'
)
latex
Definitions
(
e
<
e'
)
,
loc(
e
)
,
Id
,
P
&
Q
FDL editor aliases
es-locl
origin
Id & es-causl(es; e; e') Id & es-causl(es; e; e')